Pacemaker, ICD, or CRT device